Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·3d
🏭Functional Compilers
Slip – A Lisp System in JavaScript
lisperator.net·5h·
Discuss: Hacker News
🌱Minimal Lisps
In-Depth Analysis: "Attention Is All You Need"
dev.to·4h·
Discuss: DEV
🌱Minimal ML
Less Is More: Recursive Reasoning with Tiny Networks
github.com·2d·
Discuss: Hacker News
🌱Minimal ML
Towards a Typology of Strange LLM Chains-of-Thought
lesswrong.com·21h
🌊Gradual Effects
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·1d
⚡Tokenizer Optimization
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
✅Type Checking
Evolution Strategies at Scale: LLM Fine-Tuning Beyond Reinforcement Learning
arxiviq.substack.com·1d·
Discuss: Substack
🚀MLton
Neuro-Symbolic AI
en.wikipedia.org·4h·
Discuss: Hacker News
🎭Program Synthesis
h1: Bootstrapping LLMs to Reason over Longer Horizons via Reinforcement Learning
arxiv.org·1d·
Discuss: Hacker News
🌱Minimal ML
Let's Write a Macro in Rust
hackeryarn.com·3h·
Discuss: Hacker News
🦀Rust Macros
Building a BPE Tokenizer from scratch - optimizations & experiments
reddit.com·2d·
Discuss: r/LocalLLaMA
🎓Teaching Compilers
Towards privacy-aware mental health AI models
nature.com·3h
✨Effect Inference
An enough week
blog.mitrichev.ch·23h·
Discuss: blog.mitrichev.ch
🌲Deforestation
The Model That Broke All the Rules in Data Science
pub.towardsai.net·4h
🌱Minimal ML
How Google Translate & ChatGPT Work: The Transformer, Unboxed
proceedings.neurips.cc·1d·
Discuss: DEV
🌊Streaming Lexers
Comparing human and language models sentence processing difficulties on complex structures
arxiv.org·1d
📊LR Parsing
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·15h
📈Earley Parsing
Valid Stopping for LLM Generation via Empirical Dynamic Formal Lift
arxiv.org·1d
🧪Parser Testing
Recurrent Natural Policy Gradient for POMDPs
arxiv.org·15h
🎭Erlang OTP